Teoría de la computación

tags:: Lógica, Máquina de Turing